symbolic logics

[數] 符號邏輯;數理邏輯;符號論理學